用真值表来验证（ p→?q）∧q→?p 是否为有效式。

“鲁迅的作品不是一天可以读完的”和“《祝福》是鲁迅的作品”中，上述判断中“鲁迅的作品”（）。

• A、前者是非集合概念，后者是集合概念
• B、都是非集合概念
• C、前者是集合概念，后者是非集合概念
• D、都是集合概念

从“不可能所有候选人都被淘汰”不能推出（）。

• A、有些候选人不被淘汰
• B、必然有些候选人不被淘汰
• C、有些候选人必然不被淘汰
• D、必然不是所有候选人都被淘汰
• E、必然有些候选人被淘汰